Model-based testing - PDFSEARCH.IO - Document Search Engine

Model-based testing
Results: 198

#	Item
161	Paper Title (use style: paper title) Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2013-03-25 11:30:22 Statistical tests Reliability engineering Parameter F-test Model-based testing All-pairs testing Statistics Software testing Survival analysis
162	CALL FOR PAPERS The first Joining AcadeMiA and Industry Contributions to testing Automation Workshop, JAMAICA 2013 July 15th 2013 – Lugano, Switzerland. Co-located with ISSTA 2013 In industrial software systems, testin Add to Reading List Source URL: www.sesm.it Language: English - Date: 2013-03-04 06:47:06 Model-driven engineering Model-based testing Automation Software Engineering Software testing Technology Test automation
163	Stress tests: Objectives, challenges and modelling choices Add to Reading List Source URL: www.riksbank.se Language: English - Date: 2009-03-23 12:30:00 Actuarial science Risk Software testing Stress testing Social vulnerability Basel II Stress Economic model Internal Ratings-Based Approach Physics Mechanics Ethics
164	Agent Testing in an Ambient World Ishbel Duncan and Tim Storer {ishbel,tws}@dcs.st-and.ac.uk School of Computer Science University of St Andrews Add to Reading List Source URL: ishbel.host.cs.st-andrews.ac.uk Language: English - Date: 2006-03-24 09:49:28 Science Intelligent agent Software agent Law Agent-based model Macroeconomic model Mobile agent Law of agency Estate agent Artificial intelligence Multi-agent systems Computing
165	Moving the Goalposts: Coverage Satisfaction Is Not Enough∗ Gregory Gay∗, Matt Staats‡, Michael W. Whalen∗, and Mats P.E. Heimdahl∗ ∗Department of Computer Science & Engineering University of Minnesota, USA Add to Reading List Source URL: www.greggay.com Language: English - Date: 2014-04-08 11:02:52 Software quality Code coverage Test data Unit testing Concolic testing Fault coverage Test automation Reliability engineering Model-based testing Software testing Software development Design
166	On the Danger of Coverage Directed Test Case Generation Matt Staats1 , Gregory Gay2 , Michael Whalen2 , Mats Heimdahl2 1 Korea Advanced Institute of Science & Technology, Daejeon, Republic of Korea Add to Reading List Source URL: www.greggay.com Language: English - Date: 2012-02-10 15:16:31 Software development Test Data Generation Code coverage Fault coverage Unit testing Test Statistical hypothesis testing Model-based testing Software testing Evaluation Statistics
167	Steering Model-Based Oracles to Admit Real Program Behaviors∗ Gregory Gay, Sanjai Rayadurgam, Mats P.E. Heimdahl Department of Computer Science & Engineering University of Minnesota, USA Add to Reading List Source URL: www.greggay.com Language: English - Date: 2014-04-08 11:02:47 Philosophy Science Software engineering Model-based testing Oracle Reliability engineering Steering Determinism Free will Software testing Systems engineering Causality
168	Is animal research sufficiently evidence based to be a cornerstone of biomedical research? Add to Reading List Source URL: www.aerzte-gegen-tierversuche.de Language: English - Date: 2014-06-13 03:26:04 Animal testing Systematic review Research methods Evidence-based medicine Quality assurance SABRE Research UK Medical research Pre-clinical development Animal model Medicine Science Health
169	Draft only. Please do not cite or distribute without permission. Testing the No Child Left Behind Act: analyzing assumptions about the link between teacher quality and student achievement Trinh Tran Add to Reading List Source URL: www.irle.berkeley.edu Language: English - Date: 2009-04-29 14:48:27 Standards-based education 107th United States Congress Education policy No Child Left Behind Act Highly Qualified Teachers Teacher Certified teacher Bilingual Education Act Turnaround model Education Education in the United States Linguistic rights

UPDATE